es{-}pred!(${\it es}$; $e$; ${\it e'}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$pred!($e$;${\it e'}$)